Stichworte: resource requirements graphs based